#include <petsc.h>
#include <petscksp.h>

int main(int argc,
	 char** argv)
{
    PetscInitialize(&argc, &argv, (char *)0, (char *)0);
    PetscPrintf(PETSC_COMM_WORLD, "%s", "success.\n");
    PetscFinalize();
    return 0;
}
